Manfred Broy: шукати на сайті Z-Library

Manfred Broy (auth.), Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin (eds.)

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

Рік:

2022

Мова:

english

Файл:

PDF, 6.02 MB

5.0 / 5.0

english, 2022

Formal Methods and Models for System Design: A System Level Perspective

Springer US

Рік:

2004

Мова:

english

Файл:

PDF, 23.23 MB

0 / 0

english, 2004

Requirements Engineering Artifact Quality: Definition and Control

Universitätsbibliothek der TU München

Broy, Manfred, Femmer, Henning, Glinz, Martin

Рік:

2017

Мова:

english

Файл:

PDF, 4.36 MB

0 / 0

english, 2017

Automotive Software – Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Christian Ferdinand, Reinhold Heckmann (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

Рік:

2006

Мова:

english

Файл:

PDF, 4.65 MB

0 / 0

english, 2006

Formal Systems Specification: The RPC-Memory Specification Case Study

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

Рік:

1996

Мова:

english

Файл:

DJVU, 4.41 MB

5.0 / 4.0

english, 1996

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

Рік:

2010

Мова:

german

Файл:

PDF, 1.20 MB

0 / 0

german, 2010

Pioneers and Their Contributions to Software Engineering: sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

K. Samelson, F. L. Bauer (auth.), Manfred Broy, Ernst Denert (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 34.05 MB

0 / 0

english, 2001

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

Рік:

1985

Мова:

english

Файл:

DJVU, 5.69 MB

0 / 0

english, 1985

Model-Based Testing of Reactive Systems: Advanced Lectures

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

Рік:

2005

Мова:

english

Файл:

PDF, 5.87 MB

0 / 0

english, 2005

Software Quality. Increasing Value in Software and Systems Development: 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Manfred Broy (auth.), Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.)

Рік:

2013

Мова:

english

Файл:

PDF, 5.15 MB

0 / 0

english, 2013

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

Рік:

2005

Мова:

english

Файл:

PDF, 6.45 MB

0 / 0

english, 2005

Formal Systems Specification: The RPC-Memory Specification Case Study

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

Рік:

1996

Мова:

english

Файл:

PDF, 8.22 MB

0 / 0

english, 1996

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 8.59 MB

0 / 0

english, 2012

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

Рік:

2010

Мова:

german

Файл:

PDF, 1.36 MB

0 / 0

german, 2010

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 13.88 MB

0 / 0

english, 2009

Program Design Calculi

Carroll Morgan (auth.), Manfred Broy (eds.)

Рік:

1993

Мова:

english

Файл:

PDF, 13.42 MB

0 / 0

english, 1993

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

Рік:

2005

Мова:

english

Файл:

PDF, 6.11 MB

0 / 0

english, 2005

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Рік:

1996

Мова:

english

Файл:

DJVU, 3.86 MB

0 / 0

english, 1996

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Dines Bjørner (auth.), Manfred Broy, Bernhard Rumpe (eds.)

Рік:

1998

Мова:

english

Файл:

PDF, 3.20 MB

0 / 0

english, 1998

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

Рік:

2003

Мова:

english

Файл:

PDF, 7.03 MB

0 / 0

english, 2003

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Рік:

2005

Мова:

english

Файл:

PDF, 5.87 MB

0 / 0

english, 2005

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

Рік:

2003

Мова:

english

Файл:

PDF, 5.85 MB

0 / 0

english, 2003

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 35.10 MB

0 / 0

english, 2009

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

Рік:

2010

Мова:

german

Файл:

PDF, 1.26 MB

0 / 5.0

german, 2010

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Broy, Manfred (ed.)

Рік:

1986

Мова:

english

Файл:

DJVU, 5.62 MB

0 / 0

english, 1986

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Рік:

2005

Мова:

english

Файл:

FB2 , 3.18 MB

0 / 0

english, 2005

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Рік:

2005

Мова:

english

Файл:

TXT, 1.63 MB

0 / 0

english, 2005

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Рік:

1996

Мова:

english

Файл:

PDF, 6.23 MB

0 / 5.0

english, 1996

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Рік:

2005

Мова:

english

Файл:

MOBI , 1.81 MB

0 / 0

english, 2005

Program design calculi

Manfred Broy

Рік:

1993

Мова:

english

Файл:

DJVU, 3.62 MB

0 / 3.5

english, 1993

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

Springer International Publishing

Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck

Рік:

2021

Мова:

english

Файл:

PDF, 16.86 MB

0 / 4.0

english, 2021

Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology

Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger (eds.)

Рік:

2016

Мова:

english

Файл:

PDF, 42.87 MB

0 / 0

english, 2016

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

Klaus Beetz, Dr. Wolfgang Böhm (auth.), Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 10.50 MB

0 / 0

english, 2012

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

Springer Fachmedien Wiesbaden; Springer Vieweg

Manfred Broy

Рік:

2019

Мова:

german

Файл:

PDF, 4.91 MB

0 / 5.0

german, 2019

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

Рік:

1985

Мова:

english

Файл:

PDF, 26.53 MB

0 / 0

english, 1985

Programming and Mathematical Method: International Summer School

Prof. Dr. Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

Рік:

1992

Мова:

english

Файл:

PDF, 31.22 MB

0 / 0

english, 1992

Software Pioneers: Contributions to Software Engineering

Manfred Broy (auth.), Prof. Dr. Manfred Broy, Prof. Dr. Ernst Denert (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 305.89 MB

0 / 0

english, 2002

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Springer Netherlands

Edsger W. Dijkstra (auth.), Manfred Broy, Gunther Schmidt (eds.)

Рік:

1982

Мова:

english

Файл:

PDF, 43.75 MB

0 / 0

english, 1982

Einführung in die Softwaretechnik

Manfred Broy & Marco Kuhrmann

Рік:

2021

Мова:

german

Файл:

PDF, 21.92 MB

0 / 0

german, 2021

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen

Prof. Dr. Manfred Broy, Dr. Bernhard Rumpe (auth.)

Рік:

2002

Мова:

german

Файл:

PDF, 10.18 MB

0 / 0

german, 2002

Projektorganisation und Management im Software Engineering

Springer Vieweg

Manfred Broy, Marco Kuhrmann (auth.)

Рік:

2013

Мова:

german

Файл:

PDF, 5.66 MB

0 / 0

german, 2013

VDI-Lexikon Informatik und Kommunikationstechnik

Prof. Dr. rer. nat. Manfred Broy (auth.), Prof. Dr. rer. nat. Manfred Broy, Prof. Dr. rer. nat. Otto Spaniol (eds.)

Рік:

1999

Мова:

german

Файл:

PDF, 34.77 MB

0 / 0

german, 1999

Mathematical Methods in Program Development

David Gries (auth.), Manfred Broy, Birgit Schieder (eds.)

Рік:

1997

Мова:

english

Файл:

PDF, 21.26 MB

0 / 0

english, 1997

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

K. Venkatesh Prasad, Thomas J. Giuli, David Watson (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 4.08 MB

0 / 0

english, 2008

Advances in real-time systems

Manfred Broy (auth.), Samarjit Chakraborty, Jörg Eberspächer (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 8.31 MB

0 / 0

english, 2012

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

Wolfgang Böhm (editor), Manfred Broy (editor), Cornel Klein (editor), Klaus Pohl (editor), Bernhard Rumpe (editor), Sebastian Schröck (editor)

Рік:

2020

Мова:

english

Файл:

PDF, 16.86 MB

0 / 5.0

english, 2020

Informatik: Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

Professor Dr. Manfred Broy (auth.)

Рік:

1995

Мова:

german

Файл:

PDF, 9.57 MB

0 / 0

german, 1995

Model-Based Testing of Reactive Systems: Advanced Lectures

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

Рік:

2005

Мова:

english

Файл:

PDF, 5.92 MB

0 / 0

english, 2005

Program Construction: International Summer School

Edsger W. Dijkstra (auth.), Prof. Dr. Dr. h. c. Friedrich L. Bauer, Dipl.-Math. Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner (eds.)

Рік:

1979

Мова:

english

Файл:

DJVU, 4.87 MB

0 / 0

english, 1979

Complex Systems Design & Management: Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012